141. Practical TLA+ :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Programming languages (Electronic computers),SDL (Computer program language),Computer programming-- software development.,COMPUTERS-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),SDL (Computer program language),Software Engineering.

رده :
QA76
.
7

142. Practical aspects of declarative languages

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Programming languages (Electronic computers) ; Semantics ; Congresses. ;

143. Practical aspects of declarative languages :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Programming languages (Electronic computers)-- Semantics, Congresses

رده :
QA76
.
7
.
P32
2006

144. Practical aspects of declarative languages

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Declarative programming languages, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses

رده :
QA76
.
615
.
P33
2009eb

145. Practical aspects of declarative languages

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Programming languages (Electronic computers)--Semantics--Congresses

رده :
QA
,
76
.
7
,.
P32
,
2007

146. Practical aspects of declarative languages : First International Workshop, PADL'99, San Antonio, Texas, USA, January 1999 : proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
1551

147. Practical aspects of declarative languages : second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000 : proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Declarative programming

رده :
QA
76
.
L28
Vol
.
1753

148. Practical aspects of declarative languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005 : proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
3350

149. Practical aspects of declarative languages : 9th International Symposium, PADL 2007 Nice, France, January 14-15, 2007 : proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
4354

150. Practical aspects of declarative languages : 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 : proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
3057

151. Practical aspects of declarative languages :5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
2562

152. Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
1990

153. Practical foundations for programming languages /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Programming languages (Electronic computers),Programming languages (Electronic computers)

رده :
QA76
.
7
.
H377
2016

154. Predicate calculus and program semantics

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Predicate calculus ► Programming languages(Electronic computers)- Semantics

رده :
D575p

155. Predicate calculus and program semantics

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Predicate calculus,، Programming languages )Electronic computers( -- Semantics

رده :
QA
9
.
35
.
D55
1989

156. Predicate transformer semantics

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Semantics,، Computer science-- Mathematics

رده :
QA
76
.
7
.
M342
1992

157. Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation : )PEPM'04( : August 24-25, 2004, Verona, Italy

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
6
.
P45
2004

158. Proceedings of the 2003 ACM SIGPLAN workshop on Partial Evaluation and semantics-based program manipulation : )PEPM'03( : San Diego, California, USA, June 17th, 2003

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
6
.
P45
2003

159. Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM '91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991

پدیدآورنده:

کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)

موضوع: Programming languages (Electronic computers) - Semantics - Congresses,Electronic digital computers - Programming - Congresses

رده :
QA
76
.
7
.
S97
1991

160. Programmiersprachen und Programmentwicklung :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer programming -- Congresses.,Computer programming.,Programming languages (Electronic computers) -- Congresses.

رده :
QA76
.
7
H473
1982